Formal Model

An initial formal model for spatial data infrastructures

Information Systems / Geographical Information Science / Geomatic Engineering / Model development / Reference model / Formal Model / Unified Modeling Language / Spatial Data / Spatial Data Infrastructure / Open Distributed Processing / Formal Model / Unified Modeling Language / Spatial Data / Spatial Data Infrastructure / Open Distributed Processing

An initial formal model for spatial data infrastructures

Information Systems / Geographical Information Science / Geomatic Engineering / Model development / Reference model / Formal Model / Unified Modeling Language / Spatial Data / Spatial Data Infrastructure / Open Distributed Processing / Formal Model / Unified Modeling Language / Spatial Data / Spatial Data Infrastructure / Open Distributed Processing

OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling

Communication System / Formal Verification / Real Time / High performance / Formal Model / SDL / Embedded System / Real Time Operating System / SDL / Embedded System / Real Time Operating System

OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling

Communication System / Formal Verification / Real Time / High performance / Formal Model / SDL / Embedded System / Real Time Operating System / SDL / Embedded System / Real Time Operating System

Preferential defeasibility: utility in defeasible logic programming

Decision Theory / Non-Monotonic Reasoning / Nmr / Formal Model / Decision Maker

A compositional framework for access control policies enforcement

Access Control / Security Requirements / System Development / Formal Model / Simulation Tool / Access Control Policy

Representation primitives, process models and patient data in computer-interpretable clinical practice guidelines

Engineering / Programming Languages / Artificial Intelligence / Medical Informatics / Knowledge Representation / Literature Review / Software / Humans / Data Collection / Medline / Theoretical Models / Formal Model / Clinical Decision Support System / Clinical Decision Support Systems / Process Model / Theoretical Model / Electronic Medical Record / Multiple Views / Literature Review / Software / Humans / Data Collection / Medline / Theoretical Models / Formal Model / Clinical Decision Support System / Clinical Decision Support Systems / Process Model / Theoretical Model / Electronic Medical Record / Multiple Views

XHMBS: A formal model to support hypermedia specification

Information Structure / Formal Specification / Communication Channels / Petri Net / Dynamic Panel Data / Formal Model

An initial formal model for spatial data infrastructures

Information Systems / Geographical Information Science / Geomatic Engineering / Model development / Reference model / Formal Model / Unified Modeling Language / Spatial Data / Spatial Data Infrastructure / Open Distributed Processing / Formal Model / Unified Modeling Language / Spatial Data / Spatial Data Infrastructure / Open Distributed Processing

On generative parallel composition

Cognitive Science / Stochastic Process / Computer Software / System / Formal Model

Efficiently supporting temporal granularities

Temporal Data Mining / Formal Model / Continuous Time Systems

A Logical Interface Description Language for Components

Component-Based Software Engineering (CBSE) / Formal Logic / Formal Model

A Logical Interface Description Language for Components

Component-Based Software Engineering (CBSE) / Formal Logic / Formal Model

Representation primitives, process models and patient data in computer-interpretable clinical practice guidelines

Engineering / Programming Languages / Artificial Intelligence / Medical Informatics / Knowledge Representation / Literature Review / Software / Humans / Data Collection / Medline / Theoretical Models / Formal Model / Clinical Decision Support System / Clinical Decision Support Systems / Process Model / Theoretical Model / Electronic Medical Record / Multiple Views / Literature Review / Software / Humans / Data Collection / Medline / Theoretical Models / Formal Model / Clinical Decision Support System / Clinical Decision Support Systems / Process Model / Theoretical Model / Electronic Medical Record / Multiple Views

OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling

Communication System / Formal Verification / Real Time / High performance / Formal Model / SDL / Embedded System / Real Time Operating System / SDL / Embedded System / Real Time Operating System

An initial formal model for spatial data infrastructures

Information Systems / Geographical Information Science / Geomatic Engineering / Model development / Reference model / Formal Model / Unified Modeling Language / Spatial Data / Spatial Data Infrastructure / Open Distributed Processing / Formal Model / Unified Modeling Language / Spatial Data / Spatial Data Infrastructure / Open Distributed Processing

Copyright © 2017 DATOSPDF Inc.